Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
901	PDF Document Add to Reading List Source URL: www.radicalsoftware.org Language: English - Date: 2003-06-16 14:34:52 Propositional calculus Semantics Mathematical logic Charles Sanders Peirce Contradiction Negation Sign Modal logic Entailment Logic Philosophy Philosophical logic
902	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
903	doi:j.amc Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2007-06-26 11:07:50 Probabilistic complexity theory Video game development Mathematical logic Theoretical computer science Randomized algorithm Computer science Video game bot Medical algorithm Mathematics Applied mathematics Algorithms
904	Japanese Grant Aid for Human Resource Development Scholarship (JDS) Basic Mathematics Aptitude Test 2012 Prepared by Graduate School of International Relations, International University of Japan Add to Reading List Source URL: jds-scholarship.org Language: English - Date: 2014-07-07 22:00:54 PP Quantum complexity theory Logarithm Integral Structural complexity theory The Hardest Logic Puzzle Ever Mathematics Mathematical analysis Applied mathematics
905	LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper Ryan R. Newton Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 16:11:31 Mathematical logic Theoretical computer science Determinism Lattice Parallel computing Kahn process networks Applied mathematics Geometry Mathematics Models of computation Algorithm
906	Courses in MathematicsThis document gives a brief description of the various courses in calculus and some of the intermediate level courses in mathematics. It provides advice and pointers for planning your c Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-08-09 17:16:21 Mathematical logic Harvard University Math 55 Modal logic Complex number Propositional calculus Monad Mathematics Logic Mathematics education
907	Interpolation for Data Structures ∗ Deepak Kapur Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2009-06-21 20:13:07 Predicate logic Metalogic Formal languages Semantics First-order logic Interpretation Quantifier elimination Well-formed formula Quantification Logic Mathematical logic Model theory
908	CFPS 97 (Call for Papers Submission number 97) Type safety in an extensible data model Submitted by: Smith, Richard Add to Reading List Source URL: fhiso.org Language: English - Date: 2014-03-15 13:40:36 Knowledge representation Fuzzy logic Predicate Predicate logic Propositional calculus Tree Reference C Static single assignment form Logic Mathematical logic Computing
909	TANGENTIAL DERIVATIVES PROVIDING A MEAN-VALUE FORMULA LAURENT MOONENS Abstract. We provide a simple example showing that the tangential derivative of a continuous function φ can vanish everywhere along a Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2014-02-09 15:33:57 Theoretical physics Spectral theory Mathematical logic Spectral theory of ordinary differential equations Linear temporal logic Mathematics Operator theory Mathematical analysis
910	Domain Theory in Topical Form Steve Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-22 04:56:46 Mathematical logic Science Logic Domain theory Model theory Academia Mathematics Sheaf theory Topos